Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Optimistic Concurrency Control
Validation, Timestamp Ordering, STM, Conflicts
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76492
posts in
678.9
ms
Concurrency
Deep Dive: Memory Models, Lock-Free, and
RCU
dev.to
·
7h
·
Discuss:
DEV
🚧
Memory Barriers
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
1d
·
Discuss:
Hacker News
🤝
Paxos
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
1d
🔓
Lock-Free Programming
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
2d
🔄
Concurrency
marzhall/BBL
: A couple of tools for
OpenEdge
ABL
github.com
·
17h
🎯
Lance
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
1d
·
Discuss:
Substack
🔄
Concurrency
stdlib
v7.2
erlang.org
·
1d
·
Discuss:
Hacker News
🛷
Sled
Building
fault-tolerant
applications with AWS Lambda
durable
functions
aws.amazon.com
·
1d
🚀
Shuttle
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
2d
🔐
Futexes
The ‘Super Bowl’ standard:
Architecting
distributed systems for massive
concurrency
infoworld.com
·
2d
📡
Event-Driven Architecture
Simulating
Leader Election on top of
FoundationDB
pierrezemb.fr
·
2d
📜
MultiPaxos
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
🦀
Rust Async
Bitcoin
Optech
Newsletter
#391
bitcoinops.org
·
1d
💼
Thrift
Constrained parallel
tempering
in
traveling-salesman
problems with circular neighborhoods
link.aps.org
·
11h
📮
Multi-producer Queues
Engineering
Ethereum
's Speed: How we made
Ethrex
20x faster
blog.lambdaclass.com
·
3d
🚀
Performance
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
📐
TLA+
Deterministic
Time with Go's
Synctest
oblique.security
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🧵
Loom
Building a data
greenhouse
jmduke.com
·
21h
⚡
ClickHouse
Handling
the Dual-Write Problem in
Distributed
Systems
auth0.com
·
2d
·
Discuss:
Hacker News
📝
Write-Ahead Logging
Future
Proof
yamlscript.org
·
16h
🔮
Folly Futures
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help